
#include "pt_ctl.h"

int pt_reboot(void)
{
    #ifdef PT_BK7258

    //bk_reboot();
    pt_ipc_send_msg(IPC_MSG_REBOOT,"cpu1_reboot",strlen("cpu1_reboot"));

    #else
    exit(-1);
    #endif

    return 0;
}


